US space policy: No business for new shuttle

Formalizing New Navigation Requirements for NASA's Space Shuttle

We describe a recent NASA-sponsored pilot project intended to gauge the e ectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System ...

Space Shuttle Technical Conference

Modeling the Space Shuttle

We summarize our methodology for modeling space shuttle processing using discrete event simulation. Why the project was initiated, what the overall goals were, how it was funded, and who were the members of the project team are identified. We describe the flow of the space shuttle flight hardware through the supporting infrastructure and how the model was created to accurately portray the space...

Human Rights in US Foreign Policy

Redundancy Management Technique for Space Shuttle Computers

This paper describes how a set of off-the-shelf general purpose digital computers is being managed in a redundant avionic configuration while performing flight-critical functions for the Space Shuttle. The description covers the architecture of the redundant computer set, associated redundancy design requirements, and the technique used to detect a failed computer and to identify this failure o...